measure($C$) $\leq$ $q$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\forall$$n$:$\mathbb{N}$. E($n$;$\lambda$$s$.$C$($<$$n$, $s$$>$)) $<$ $q$